Practical probabilistic programming with monads

Practical Probabilistic Programming with Figaro

Figaro is an object–oriented, functional probabilistic programming language (PPL). As an embedded library within Scala, Figaro is a flexible, modular, and powerful PPL that enables users to construct a wide variety of rich, complex, and relational models in a general purpose programming language. Coupled with diverse suite of built-in inference algorithms, Figaro provides the tools needed for u...

Unifying Theories of Programming with Monads

The combination of probabilistic and nondeterministic choice in program calculi is a notoriously tricky problem, and one with a long history. We present a simple functional programming approach to this challenge, based on algebraic theories of computational effects. We make use of the powerful abstraction facilities of modern functional languages, to introduce the choice operations as a little ...

Monads for Functional Programming

The use of monads to structure functional programs is de scribed Monads provide a convenient framework for simulating e ects found in other languages such as global state exception handling out put or non determinism Three case studies are looked at in detail how monads ease the modi cation of a simple evaluator how monads act as the basis of a datatype of arrays subject to in place update and ...

Monads for Programming Languages

Logic Programming with Monads and Comprehensions

We give a logical reconstruction of all-solution predicates in terms of list comprehensions in Prolog's and we describe a variety of logic programming constructs in terms of monads and monad morphisms. Novel monad structures are described for lazy function lists, clause unfoldings and a monad morphism based embedding of Prolog in Prolog is given.